- неформальное доказательство
- informal proof мат.
Русско-английский научно-технический словарь Масловского. 2015.
неформальное доказательство
Look at other dictionaries:
Лемма о накачке для регулярных языков — В теории формальных языков, лемма о накачке для регулярных языков описывает существенное свойство всех регулярных языков. Неформально она утверждает, что все достаточно длинные слова регулярного языка можно накачать, то есть повторить внутреннюю… … Википедия
Алгоритм Дейкстры — Блок схема алгоритма Дейкстры. Алгоритмы поиска на гр … Википедия
Вариационное исчисление — Вариационное исчисление это раздел функционального анализа, в котором изучаются вариации функционалов. Самая типичная задача вариационного исчисления состоит в том, чтобы найти функцию, на которой заданный функционал достигает… … Википедия
Вариационное исчесление — Вариационное исчисление это раздел математики, в котором изучаются вариации функционалов. Самая типичная задача вариационного исчисления состоит в том, чтобы найти функцию, на которой функционал достигает экстремального значения. Методы… … Википедия
Дифференциал — (Differential) Определение дифферинциала, дифферинциал функции, блокировка дифферинциала Информация об определении дифферинциала, дифферинциал функции, блокировка дифферинциала Содержание Содержание математический Неформальное описание… … Энциклопедия инвестора
ПИФАГОР — один из первых др. греч. философов (6 в. до н.э.), основатель легендарного Пифагорейского товарищества. По совету Фалеса учился мудрости в Египте (22 года), затем в Вавилонии (12 лет), куда попал в числе плененных персами египтян, и, возможно, в… … Философская энциклопедия
Жадный алгоритм — (англ. Greedy algorithm) алгоритм, заключающийся в принятии локально оптимальных решений на каждом этапе, допуская, что конечное решение также окажется оптимальным. Известно, что если структура задачи задается матроидом, тогда… … Википедия
Жадные алгоритмы — Жадный алгоритм (англ. Greedy algorithm) алгоритм, заключающийся в принятии локально оптимальных решений на каждом этапе, допуская, что конечное решение также окажется оптимальным. Если глобальная оптимальность алгоритма имеет место практически… … Википедия
ПИФАГОР — ПИФАГОР (Πυθαγόρας) (ок. 570, о. Самос после 500 до н. э., Метапонт), др. греч. философ, ученый, религиозно нравственный реформатор и политик. Личность П. и его учение являются предметом почти двухсотлетних споров. В литературе по… … Античная философия
Полнота — свойство научной теории, характеризующее достаточность для каких либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. т. н. функциональная П. (ф. п.) применительно к естественному… … Большая советская энциклопедия
Лузин, Николай Николаевич — В Википедии есть статьи о других людях с такой фамилией, см. Лузин. Николай Николаевич Лузин Дата рождения: 9 декабря 1883(1883 12 09) Место рождения: город Иркутск, Иркутская губерния, Российская империя … Википедия
